Integrating Healthcare Ontologies: An Inconsistency Tolerant Approach and Case Study

نویسندگان

  • Fahim Imam
  • Wendy MacCaull
چکیده

A major challenge for ontology integration is to effectively deal with inconsistencies that arise during the merging process. Because of the explosive nature of classical logic, the common strategy in existing merging tools is to choose between the contradictory pieces of information and maintain consistency. In many cases inconsistent information may be useful for intelligent reasoning activities. For example, in healthcare systems inconsistent information may be required to provide a full clinical perspective so any information loss is undesirable. In this paper we present a multi-valued logic based merging system that has inconsistency tolerant behavior and avoids information loss. As an application of the system in the healthcare domain, a result of merging a subset of two healthcare ontologies SNOMED CT® and ICNP® is presented.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Consistent Query Answering over Description Logic Ontologies

Description Logics (DLs) have been widely used in the last years as formal language for specifying ontologies. In several contexts, as ontology-based data integration, it may frequently happen that data contradict the intensional knowledge provided by the ontology through which they are accessed, which therefore may result inconsistent. In this paper, we analyze the problem of consistent query ...

متن کامل

Reasoning with Uncertain and Inconsistent OWL Ontologies

Reasoning with uncertainty and inconsistency in description logics are two important issues in the development of description logicbased ontology engineering. When constructing ontologies, one may obtain ontologies that are inconsistent and are pervaded with uncertain information, such as confidence values. In this paper, we propose some approaches to reasoning with inconsistent and uncertain o...

متن کامل

D 1 . 2 . 4 Inconsistency - tolerant Reasoning with Networked Ontologies

In this deliverable, we discuss the problem of reasoning with inconsistent networked ontologies. We first extend the semantics of description logic ALC with a four-valued semantics. This will allow us to reasoning with inconsistent ontologies non-trivially. We implement an algorithm for reasoning with the four-valued semantics and provide a prototype. We then propose a bilatticebased semantics ...

متن کامل

On the Complexity of Dealing with Inconsistency in Description Logic Ontologies

We study the problem of dealing with inconsistency in Description Logic (DL) ontologies. We consider inconsistency-tolerant semantics recently proposed in the literature, called AR-semantics and CARsemantics, which are based on repairing (i.e., modifying) in a minimal way the extensional knowledge (ABox) while keeping the intensional knowledge (TBox) untouched. We study instance checking and co...

متن کامل

Inconsistency-Tolerant Instance Checking in Tractable Description Logics

Research on inconsistency-tolerant query answering usually assumes that the terminological knowledge is correct, and only the facts (ABox) need to be repaired. In this paper we study the problem of answering instance queries over inconsistent ontologies, by repairing the whole knowledge base (KB). Contrary to ABox repairs, when KB repairs are considered, instance checking in DL-LiteHorn w.r.t. ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009